#define CONFIG_PROJECT_1744551847 1
#define CONFIG_ARCH "varch"
#define CONFIG_VARCH 1
#define CONFIG_ARCH_BITS "64"
#define CONFIG_VARCH_64 1
#define CONFIG_GNUC 1
#define CONFIG_NOIDE 1
#define CONFIG_SYSTEM_CORE_CLOCK 100000000
#define CONFIG_NR_IRQS 32
#define CONFIG_IRQ_STACK_SIZE 0x800
#define CONFIG_HAL_UART 1
#define CONFIG_HAL_MTD 1
#define CONFIG_OS_LINUX 1
#define CONFIG_CRC 1
#define CONFIG_CRC8 1
#define CONFIG_CRC16 1
#define CONFIG_CRC_CCITT 1
#define CONFIG_CRC32 1
#define CONFIG_CRC64 1
#define CONFIG_MOCKFS 1
#define CONFIG_VFS 1
#define CONFIG_MAX_FILE_NAME_LEN 16
#define CONFIG_MAX_NR_FILES 32
#define CONFIG_KPRINTF 1
#define CONFIG_KPRINTF_UART_NAME "uart1"
#define CONFIG_NR_CRITICAL_JOB_Q_SLOTS_32 1
#define CONFIG_NR_CRITICAL_JOB_Q_SLOTS 32
#define CONFIG_CRITICAL_STACK_SIZE 0x800
#define CONFIG_CRITICAL_STACK_CHECK 1
#define CONFIG_IPC_EVENT 1
#define CONFIG_IPC_MQ 1
#define CONFIG_TASK_MIN_STACK_SIZE 0x80
#define CONFIG_TASK_HOOK 1
#define CONFIG_TASK_SWITCH_HOOK 1
#define CONFIG_NR_TASK_SWITCH_HOOK_SLOTS 4
#define CONFIG_NR_TICK_Q_SLOTS_16 1
#define CONFIG_NR_TICK_Q_SLOTS_ORDER 4
#define CONFIG_TICK_TIMER_NAME ""
#define CONFIG_SYS_TICK_HZ 1000
#define CONFIG_NR_RR_SLICING_TICKS 100
#define CONFIG_TICK_DEBUG 1
#define CONFIG_SOFT_TIMER 1
#define CONFIG_DEFER 1
#define CONFIG_DEFERRED_STACK_SIZE 0x800
#define CONFIG_DEFERRED_NAME "defer"
#define CONFIG_BESTFIT 1
#define CONFIG_MEM_STATISTICS 1
#define CONFIG_MEMPOOL 1
#define CONFIG_MEM_MALLOC 1
#define CONFIG_GTEST 1
#define CONFIG_GCOV 1
#define CONFIG_VALGRIND 1
#define CONFIG_BOARD_VLINUX64 1
#define CONFIG_SOC "vm64"
#define CONFIG_LINK_TYPE "rom"
#define CONFIG_ROM_START 0x00000000
#define CONFIG_ROM_SIZE 0x00000000
#define CONFIG_RAM_START 0x00000000
#define CONFIG_RAM_SIZE 0x00000000
#define CONFIG_MAIN_TASK_PRIO 20
#define CONFIG_MAIN_TASK_OPTIONS 0
#define CONFIG_MAIN_TASK_STACK_SIZE 0x800
#define CONFIG_SOC_VM 1
#define CONFIG_VM_DUMMY 1
#define CONFIG_VM_RAM 1
#define CONFIG_RAM_DEVICE_SIZE 0x4000000
#define CONFIG_SOC_VM64 1
